Merge pull request #1705 from chandnich/platform-id
authorAntonio Nino Diaz <[email protected]>
Tue, 4 Dec 2018 14:04:52 +0000 (14:04 +0000)
committerAntonio Nino Diaz <[email protected]>
Tue, 4 Dec 2018 14:07:36 +0000 (14:07 +0000)
plat/arm/sgi: Use platform specific functions to get platform ids


Trivial merge